Microsoft Mathematics - PDFSEARCH.IO - Document Search Engine

Microsoft Mathematics
Results: 4205

#	Item
151	Microsoft PowerPoint - lecture_Yop_spring05v2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-13 08:49:07 Mathematics Algebra Computability theory Linear algebra Spectral theory Theoretical computer science Subroutines Recursion Recurrence relation Lambda calculus Spectral theory of ordinary differential equations
152	Microsoft Word - IBSNew_Trends_in_iTECH-final Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:11 Information theory Information Mathematics Theoretical computer science Ratedistortion theory Distributed source coding Error exponent Norm Mutual information Markov chain
153	Microsoft Word - Course of Study cla.rtf Add to Reading List Source URL: www.fallingwater.org Language: English - Date: 2009-01-21 16:16:21 Equations Mathematics Algebra Elementary algebra Software Polynomials Numerical linear algebra Equation solving Equation Linear equation Matrix Lis
154	BOOKS ABOUT 10 WORD PROBLEMS INVOLVING POLYNOMIALS WITH SOLUTION Cityhalllosangeles.com 10 WORD PROBLEMS INVOLV... Add to Reading List Source URL: 1.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:26:54 Mathematics Software Algebra Polynomial Subtraction Microsoft Word Number
155	Microsoft PowerPoint - SASyLF-wmm08-web.ppt Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-15 15:02:54 Theoretical computer science Mathematics Type theory Mathematical logic Formal methods Logic in computer science Programming language theory Twelf POPLmark challenge Lambda calculus Theorem Formal language
156	Microsoft Word - autocarto2012laut_final.docx Add to Reading List Source URL: www.cartogis.org Language: English - Date: 2012-11-06 14:47:23 Mathematics Geometry Elementary geometry Space Magnetic reconnection Solar phenomena Line segment Line Terrain Sine
157	Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-01 03:01:08 Mathematics Theoretical computer science Mathematical logic Predicate logic Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Z3 First-order logic Language Integrated Query Computer program
158	Microsoft Word - IBSS&K Engineering.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:08 Bulgarian Academy of Sciences Institute of Mathematics and Informatics ISC Information science Informatics IBS Cognition Science and technology Science
159	Microsoft PowerPoint - ch5.ppt [相容模式] Add to Reading List Source URL: people.cs.nctu.edu.tw Language: English - Date: 2012-08-25 21:38:28 Cryptography Encryption Ciphertext Cipher Plaintext Science and technology Science Mathematics Multiple encryption Authenticated encryption
160	Microsoft Word - EZ Rally Timing.doc Add to Reading List Source URL: www.indyscca.org Language: English - Date: 2009-06-25 11:23:23 Office equipment Calculator Mathematics His Way Hexadecimal Software Equipment